/*
 * Copyright (c) 2025 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

let obj = {
    p1:"v1",
    p2:"v2",
    p3:"v3",
    p4:"v4",
    p5:"v5",
    p6:"v6",
    p7:"v7",
    p8:"v8",
    p9:"v9",
    p10:"v10",
    p11:"v11",
    p12:"v12",
    p13:"v13",
    p14:"v14",
    p15:"v15",
    p16:"v16",
    p17:"v17",
    p18:"v18",
    p19:"v19",
    p20:"v20",
    p21:"v21",
    p22:"v22",
    p23:"v23",
    p24:"v24",
    p25:"v25",
    p26:"v26",
    p27:"v27",
    p28:"v28",
    p29:"v29",
    p30:"v30",
    p31:"v31",
    p32:"v32",
    p33:"v33",
    p34:"v34",
    p35:"v35",
    p36:"v36",
    p37:"v37",
    p38:"v38",
    p39:"v39",
    p40:"v40",
    p41:"v41",
    p42:"v42",
    p43:"v43",
    p44:"v44",
    p45:"v45",
    p46:"v46",
    p47:"v47",
    p48:"v48",
    p49:"v49",
    p50:"v50",
    p51:"v51",
    p52:"v52",
    p53:"v53",
    p54:"v54",
    p55:"v55",
    p56:"v56",
    p57:"v57",
    p58:"v58",
    p59:"v59",
    p60:"v60",
    p61:"v61",
    p62:"v62",
    p63:"v63",
    p64:"v64",
    p65:"v65",
    p66:"v66",
    p67:"v67",
    p68:"v68",
    p69:"v69",
    p70:"v70",
    p71:"v71",
    p72:"v72",
    p73:"v73",
    p74:"v74",
    p75:"v75",
    p76:"v76",
    p77:"v77",
    p78:"v78",
    p79:"v79",
    p80:"v80",
    p81:"v81",
    p82:"v82",
    p83:"v83",
    p84:"v84",
    p85:"v85",
    p86:"v86",
    p87:"v87",
    p88:"v88",
    p89:"v89",
    p90:"v90",
    p91:"v91",
    p92:"v92",
    p93:"v93",
    p94:"v94",
    p95:"v95",
    p96:"v96",
    p97:"v97",
    p98:"v98",
    p99:"v99",
    p100:"v100",
    p101:"v101",
    p102:"v102",
    p103:"v103",
    p104:"v104",
    p105:"v105",
    p106:"v106",
    p107:"v107",
    p108:"v108",
    p109:"v109",
    p110:"v110",
    p111:"v111",
    p112:"v112",
    p113:"v113",
    p114:"v114",
    p115:"v115",
    p116:"v116",
    p117:"v117",
    p118:"v118",
    p119:"v119",
    p120:"v120",
    p121:"v121",
    p122:"v122",
    p123:"v123",
    p124:"v124",
    p125:"v125",
    p126:"v126",
    p127:"v127",
    p128:"v128",
    p129:"v129",
    p130:"v130",
    p131:"v131",
    p132:"v132",
    p133:"v133",
    p134:"v134",
    p135:"v135",
    p136:"v136",
    p137:"v137",
    p138:"v138",
    p139:"v139",
    p140:"v140",
    p141:"v141",
    p142:"v142",
    p143:"v143",
    p144:"v144",
    p145:"v145",
    p146:"v146",
    p147:"v147",
    p148:"v148",
    p149:"v149",
    p150:"v150",
    p151:"v151",
    p152:"v152",
    p153:"v153",
    p154:"v154",
    p155:"v155",
    p156:"v156",
    p157:"v157",
    p158:"v158",
    p159:"v159",
    p160:"v160",
    p161:"v161",
    p162:"v162",
    p163:"v163",
    p164:"v164",
    p165:"v165",
    p166:"v166",
    p167:"v167",
    p168:"v168",
    p169:"v169",
    p170:"v170",
    p171:"v171",
    p172:"v172",
    p173:"v173",
    p174:"v174",
    p175:"v175",
    p176:"v176",
    p177:"v177",
    p178:"v178",
    p179:"v179",
    p180:"v180",
    p181:"v181",
    p182:"v182",
    p183:"v183",
    p184:"v184",
    p185:"v185",
    p186:"v186",
    p187:"v187",
    p188:"v188",
    p189:"v189",
    p190:"v190",
    p191:"v191",
    p192:"v192",
    p193:"v193",
    p194:"v194",
    p195:"v195",
    p196:"v196",
    p197:"v197",
    p198:"v198",
    p199:"v199",
    p200:"v200",
    p201:"v201",
    p202:"v202",
    p203:"v203",
    p204:"v204",
    p205:"v205",
    p206:"v206",
    p207:"v207",
    p208:"v208",
    p209:"v209",
    p210:"v210",
    p211:"v211",
    p212:"v212",
    p213:"v213",
    p214:"v214",
    p215:"v215",
    p216:"v216",
    p217:"v217",
    p218:"v218",
    p219:"v219",
    p220:"v220",
    p221:"v221",
    p222:"v222",
    p223:"v223",
    p224:"v224",
    p225:"v225",
    p226:"v226",
    p227:"v227",
    p228:"v228",
    p229:"v229",
    p230:"v230",
    p231:"v231",
    p232:"v232",
    p233:"v233",
    p234:"v234",
    p235:"v235",
    p236:"v236",
    p237:"v237",
    p238:"v238",
    p239:"v239",
    p240:"v240",
    p241:"v241",
    p242:"v242",
    p243:"v243",
    p244:"v244",
    p245:"v245",
    p246:"v246",
    p247:"v247",
    p248:"v248",
    p249:"v249",
    p250:"v250",
    p251:"v251",
    p252:"v252",
    p253:"v253",
    p254:"v254",
    p255:"v255",
    p256:"v256",
    p257:"v257",
    p258:"v258",
    p259:"v259",
    p260:"v260",
    p261:"v261",
    p262:"v262",
    p263:"v263",
    p264:"v264",
    p265:"v265",
    p266:"v266",
    p267:"v267",
    p268:"v268",
    p269:"v269",
    p270:"v270",
    p271:"v271",
    p272:"v272",
    p273:"v273",
    p274:"v274",
    p275:"v275",
    p276:"v276",
    p277:"v277",
    p278:"v278",
    p279:"v279",
    p280:"v280",
    p281:"v281",
    p282:"v282",
    p283:"v283",
    p284:"v284",
    p285:"v285",
    p286:"v286",
    p287:"v287",
    p288:"v288",
    p289:"v289",
    p290:"v290",
    p291:"v291",
    p292:"v292",
    p293:"v293",
    p294:"v294",
    p295:"v295",
    p296:"v296",
    p297:"v297",
    p298:"v298",
    p299:"v299",
    p300:"v300",
    p301:"v301",
    p302:"v302",
    p303:"v303",
    p304:"v304",
    p305:"v305",
    p306:"v306",
    p307:"v307",
    p308:"v308",
    p309:"v309",
    p310:"v310",
    p311:"v311",
    p312:"v312",
    p313:"v313",
    p314:"v314",
    p315:"v315",
    p316:"v316",
    p317:"v317",
    p318:"v318",
    p319:"v319",
    p320:"v320",
    p321:"v321",
    p322:"v322",
    p323:"v323",
    p324:"v324",
    p325:"v325",
    p326:"v326",
    p327:"v327",
    p328:"v328",
    p329:"v329",
    p330:"v330",
    p331:"v331",
    p332:"v332",
    p333:"v333",
    p334:"v334",
    p335:"v335",
    p336:"v336",
    p337:"v337",
    p338:"v338",
    p339:"v339",
    p340:"v340",
    p341:"v341",
    p342:"v342",
    p343:"v343",
    p344:"v344",
    p345:"v345",
    p346:"v346",
    p347:"v347",
    p348:"v348",
    p349:"v349",
    p350:"v350",
    p351:"v351",
    p352:"v352",
    p353:"v353",
    p354:"v354",
    p355:"v355",
    p356:"v356",
    p357:"v357",
    p358:"v358",
    p359:"v359",
    p360:"v360",
    p361:"v361",
    p362:"v362",
    p363:"v363",
    p364:"v364",
    p365:"v365",
    p366:"v366",
    p367:"v367",
    p368:"v368",
    p369:"v369",
    p370:"v370",
    p371:"v371",
    p372:"v372",
    p373:"v373",
    p374:"v374",
    p375:"v375",
    p376:"v376",
    p377:"v377",
    p378:"v378",
    p379:"v379",
    p380:"v380",
    p381:"v381",
    p382:"v382",
    p383:"v383",
    p384:"v384",
    p385:"v385",
    p386:"v386",
    p387:"v387",
    p388:"v388",
    p389:"v389",
    p390:"v390",
    p391:"v391",
    p392:"v392",
    p393:"v393",
    p394:"v394",
    p395:"v395",
    p396:"v396",
    p397:"v397",
    p398:"v398",
    p399:"v399",
    p400:"v400",
    p401:"v401",
    p402:"v402",
    p403:"v403",
    p404:"v404",
    p405:"v405",
    p406:"v406",
    p407:"v407",
    p408:"v408",
    p409:"v409",
    p410:"v410",
    p411:"v411",
    p412:"v412",
    p413:"v413",
    p414:"v414",
    p415:"v415",
    p416:"v416",
    p417:"v417",
    p418:"v418",
    p419:"v419",
    p420:"v420",
    p421:"v421",
    p422:"v422",
    p423:"v423",
    p424:"v424",
    p425:"v425",
    p426:"v426",
    p427:"v427",
    p428:"v428",
    p429:"v429",
    p430:"v430",
    p431:"v431",
    p432:"v432",
    p433:"v433",
    p434:"v434",
    p435:"v435",
    p436:"v436",
    p437:"v437",
    p438:"v438",
    p439:"v439",
    p440:"v440",
    p441:"v441",
    p442:"v442",
    p443:"v443",
    p444:"v444",
    p445:"v445",
    p446:"v446",
    p447:"v447",
    p448:"v448",
    p449:"v449",
    p450:"v450",
    p451:"v451",
    p452:"v452",
    p453:"v453",
    p454:"v454",
    p455:"v455",
    p456:"v456",
    p457:"v457",
    p458:"v458",
    p459:"v459",
    p460:"v460",
    p461:"v461",
    p462:"v462",
    p463:"v463",
    p464:"v464",
    p465:"v465",
    p466:"v466",
    p467:"v467",
    p468:"v468",
    p469:"v469",
    p470:"v470",
    p471:"v471",
    p472:"v472",
    p473:"v473",
    p474:"v474",
    p475:"v475",
    p476:"v476",
    p477:"v477",
    p478:"v478",
    p479:"v479",
    p480:"v480",
    p481:"v481",
    p482:"v482",
    p483:"v483",
    p484:"v484",
    p485:"v485",
    p486:"v486",
    p487:"v487",
    p488:"v488",
    p489:"v489",
    p490:"v490",
    p491:"v491",
    p492:"v492",
    p493:"v493",
    p494:"v494",
    p495:"v495",
    p496:"v496",
    p497:"v497",
    p498:"v498",
    p499:"v499",
    p500:"v500",
    p501:"v501",
    p502:"v502",
    p503:"v503",
    p504:"v504",
    p505:"v505",
    p506:"v506",
    p507:"v507",
    p508:"v508",
    p509:"v509",
    p510:"v510",
    p511:"v511",
    p512:"v512",
    p513:"v513",
    p514:"v514",
    p515:"v515",
    p516:"v516",
    p517:"v517",
    p518:"v518",
    p519:"v519",
    p520:"v520",
    p521:"v521",
    p522:"v522",
    p523:"v523",
    p524:"v524",
    p525:"v525",
    p526:"v526",
    p527:"v527",
    p528:"v528",
    p529:"v529",
    p530:"v530",
    p531:"v531",
    p532:"v532",
    p533:"v533",
    p534:"v534",
    p535:"v535",
    p536:"v536",
    p537:"v537",
    p538:"v538",
    p539:"v539",
    p540:"v540",
    p541:"v541",
    p542:"v542",
    p543:"v543",
    p544:"v544",
    p545:"v545",
    p546:"v546",
    p547:"v547",
    p548:"v548",
    p549:"v549",
    p550:"v550",
    p551:"v551",
    p552:"v552",
    p553:"v553",
    p554:"v554",
    p555:"v555",
    p556:"v556",
    p557:"v557",
    p558:"v558",
    p559:"v559",
    p560:"v560",
    p561:"v561",
    p562:"v562",
    p563:"v563",
    p564:"v564",
    p565:"v565",
    p566:"v566",
    p567:"v567",
    p568:"v568",
    p569:"v569",
    p570:"v570",
    p571:"v571",
    p572:"v572",
    p573:"v573",
    p574:"v574",
    p575:"v575",
    p576:"v576",
    p577:"v577",
    p578:"v578",
    p579:"v579",
    p580:"v580",
    p581:"v581",
    p582:"v582",
    p583:"v583",
    p584:"v584",
    p585:"v585",
    p586:"v586",
    p587:"v587",
    p588:"v588",
    p589:"v589",
    p590:"v590",
    p591:"v591",
    p592:"v592",
    p593:"v593",
    p594:"v594",
    p595:"v595",
    p596:"v596",
    p597:"v597",
    p598:"v598",
    p599:"v599",
    p600:"v600",
    p601:"v601",
    p602:"v602",
    p603:"v603",
    p604:"v604",
    p605:"v605",
    p606:"v606",
    p607:"v607",
    p608:"v608",
    p609:"v609",
    p610:"v610",
    p611:"v611",
    p612:"v612",
    p613:"v613",
    p614:"v614",
    p615:"v615",
    p616:"v616",
    p617:"v617",
    p618:"v618",
    p619:"v619",
    p620:"v620",
    p621:"v621",
    p622:"v622",
    p623:"v623",
    p624:"v624",
    p625:"v625",
    p626:"v626",
    p627:"v627",
    p628:"v628",
    p629:"v629",
    p630:"v630",
    p631:"v631",
    p632:"v632",
    p633:"v633",
    p634:"v634",
    p635:"v635",
    p636:"v636",
    p637:"v637",
    p638:"v638",
    p639:"v639",
    p640:"v640",
    p641:"v641",
    p642:"v642",
    p643:"v643",
    p644:"v644",
    p645:"v645",
    p646:"v646",
    p647:"v647",
    p648:"v648",
    p649:"v649",
    p650:"v650",
    p651:"v651",
    p652:"v652",
    p653:"v653",
    p654:"v654",
    p655:"v655",
    p656:"v656",
    p657:"v657",
    p658:"v658",
    p659:"v659",
    p660:"v660",
    p661:"v661",
    p662:"v662",
    p663:"v663",
    p664:"v664",
    p665:"v665",
    p666:"v666",
    p667:"v667",
    p668:"v668",
    p669:"v669",
    p670:"v670",
    p671:"v671",
    p672:"v672",
    p673:"v673",
    p674:"v674",
    p675:"v675",
    p676:"v676",
    p677:"v677",
    p678:"v678",
    p679:"v679",
    p680:"v680",
    p681:"v681",
    p682:"v682",
    p683:"v683",
    p684:"v684",
    p685:"v685",
    p686:"v686",
    p687:"v687",
    p688:"v688",
    p689:"v689",
    p690:"v690",
    p691:"v691",
    p692:"v692",
    p693:"v693",
    p694:"v694",
    p695:"v695",
    p696:"v696",
    p697:"v697",
    p698:"v698",
    p699:"v699",
    p700:"v700",
    p701:"v701",
    p702:"v702",
    p703:"v703",
    p704:"v704",
    p705:"v705",
    p706:"v706",
    p707:"v707",
    p708:"v708",
    p709:"v709",
    p710:"v710",
    p711:"v711",
    p712:"v712",
    p713:"v713",
    p714:"v714",
    p715:"v715",
    p716:"v716",
    p717:"v717",
    p718:"v718",
    p719:"v719",
    p720:"v720",
    p721:"v721",
    p722:"v722",
    p723:"v723",
    p724:"v724",
    p725:"v725",
    p726:"v726",
    p727:"v727",
    p728:"v728",
    p729:"v729",
    p730:"v730",
    p731:"v731",
    p732:"v732",
    p733:"v733",
    p734:"v734",
    p735:"v735",
    p736:"v736",
    p737:"v737",
    p738:"v738",
    p739:"v739",
    p740:"v740",
    p741:"v741",
    p742:"v742",
    p743:"v743",
    p744:"v744",
    p745:"v745",
    p746:"v746",
    p747:"v747",
    p748:"v748",
    p749:"v749",
    p750:"v750",
    p751:"v751",
    p752:"v752",
    p753:"v753",
    p754:"v754",
    p755:"v755",
    p756:"v756",
    p757:"v757",
    p758:"v758",
    p759:"v759",
    p760:"v760",
    p761:"v761",
    p762:"v762",
    p763:"v763",
    p764:"v764",
    p765:"v765",
    p766:"v766",
    p767:"v767",
    p768:"v768",
    p769:"v769",
    p770:"v770",
    p771:"v771",
    p772:"v772",
    p773:"v773",
    p774:"v774",
    p775:"v775",
    p776:"v776",
    p777:"v777",
    p778:"v778",
    p779:"v779",
    p780:"v780",
    p781:"v781",
    p782:"v782",
    p783:"v783",
    p784:"v784",
    p785:"v785",
    p786:"v786",
    p787:"v787",
    p788:"v788",
    p789:"v789",
    p790:"v790",
    p791:"v791",
    p792:"v792",
    p793:"v793",
    p794:"v794",
    p795:"v795",
    p796:"v796",
    p797:"v797",
    p798:"v798",
    p799:"v799",
    p800:"v800",
    p801:"v801",
    p802:"v802",
    p803:"v803",
    p804:"v804",
    p805:"v805",
    p806:"v806",
    p807:"v807",
    p808:"v808",
    p809:"v809",
    p810:"v810",
    p811:"v811",
    p812:"v812",
    p813:"v813",
    p814:"v814",
    p815:"v815",
    p816:"v816",
    p817:"v817",
    p818:"v818",
    p819:"v819",
    p820:"v820",
    p821:"v821",
    p822:"v822",
    p823:"v823",
    p824:"v824",
    p825:"v825",
    p826:"v826",
    p827:"v827",
    p828:"v828",
    p829:"v829",
    p830:"v830",
    p831:"v831",
    p832:"v832",
    p833:"v833",
    p834:"v834",
    p835:"v835",
    p836:"v836",
    p837:"v837",
    p838:"v838",
    p839:"v839",
    p840:"v840",
    p841:"v841",
    p842:"v842",
    p843:"v843",
    p844:"v844",
    p845:"v845",
    p846:"v846",
    p847:"v847",
    p848:"v848",
    p849:"v849",
    p850:"v850",
    p851:"v851",
    p852:"v852",
    p853:"v853",
    p854:"v854",
    p855:"v855",
    p856:"v856",
    p857:"v857",
    p858:"v858",
    p859:"v859",
    p860:"v860",
    p861:"v861",
    p862:"v862",
    p863:"v863",
    p864:"v864",
    p865:"v865",
    p866:"v866",
    p867:"v867",
    p868:"v868",
    p869:"v869",
    p870:"v870",
    p871:"v871",
    p872:"v872",
    p873:"v873",
    p874:"v874",
    p875:"v875",
    p876:"v876",
    p877:"v877",
    p878:"v878",
    p879:"v879",
    p880:"v880",
    p881:"v881",
    p882:"v882",
    p883:"v883",
    p884:"v884",
    p885:"v885",
    p886:"v886",
    p887:"v887",
    p888:"v888",
    p889:"v889",
    p890:"v890",
    p891:"v891",
    p892:"v892",
    p893:"v893",
    p894:"v894",
    p895:"v895",
    p896:"v896",
    p897:"v897",
    p898:"v898",
    p899:"v899",
    p900:"v900",
    p901:"v901",
    p902:"v902",
    p903:"v903",
    p904:"v904",
    p905:"v905",
    p906:"v906",
    p907:"v907",
    p908:"v908",
    p909:"v909",
    p910:"v910",
    p911:"v911",
    p912:"v912",
    p913:"v913",
    p914:"v914",
    p915:"v915",
    p916:"v916",
    p917:"v917",
    p918:"v918",
    p919:"v919",
    p920:"v920",
    p921:"v921",
    p922:"v922",
    p923:"v923",
    p924:"v924",
    p925:"v925",
    p926:"v926",
    p927:"v927",
    p928:"v928",
    p929:"v929",
    p930:"v930",
    p931:"v931",
    p932:"v932",
    p933:"v933",
    p934:"v934",
    p935:"v935",
    p936:"v936",
    p937:"v937",
    p938:"v938",
    p939:"v939",
    p940:"v940",
    p941:"v941",
    p942:"v942",
    p943:"v943",
    p944:"v944",
    p945:"v945",
    p946:"v946",
    p947:"v947",
    p948:"v948",
    p949:"v949",
    p950:"v950",
    p951:"v951",
    p952:"v952",
    p953:"v953",
    p954:"v954",
    p955:"v955",
    p956:"v956",
    p957:"v957",
    p958:"v958",
    p959:"v959",
    p960:"v960",
    p961:"v961",
    p962:"v962",
    p963:"v963",
    p964:"v964",
    p965:"v965",
    p966:"v966",
    p967:"v967",
    p968:"v968",
    p969:"v969",
    p970:"v970",
    p971:"v971",
    p972:"v972",
    p973:"v973",
    p974:"v974",
    p975:"v975",
    p976:"v976",
    p977:"v977",
    p978:"v978",
    p979:"v979",
    p980:"v980",
    p981:"v981",
    p982:"v982",
    p983:"v983",
    p984:"v984",
    p985:"v985",
    p986:"v986",
    p987:"v987",
    p988:"v988",
    p989:"v989",
    p990:"v990",
    p991:"v991",
    p992:"v992",
    p993:"v993",
    p994:"v994",
    p995:"v995",
    p996:"v996",
    p997:"v997",
    p998:"v998",
    p999:"v999",
    p1000:"v1000",
    p1001:"v1001",
    p1002:"v1002",
    p1003:"v1003",
    p1004:"v1004",
    p1005:"v1005",
    p1006:"v1006",
    p1007:"v1007",
    p1008:"v1008",
    p1009:"v1009",
    p1010:"v1010",
    p1011:"v1011",
    p1012:"v1012",
    p1013:"v1013",
    p1014:"v1014",
    p1015:"v1015",
    p1016:"v1016",
    p1017:"v1017",
    p1018:"v1018",
    p1019:"v1019",
    p1020:"v1020",
    p1021:"v1021",
    p1022:"v1022",
}
for(let i = 0 ;i < 5000; i++) {
    let x=obj.p1022;
}
print("Test inline_property_literal succ!")